- Title
- An event algebra based system for verifying E-Commerce transactions
- Creator
- Zhao, R. Y.; Narasimhan, V. Lakshimi
- Relation
- Journal of Research and Practice in Information Technology Vol. 37, no. 4, p. 399-429
- Publisher
- Australian Computer Society Inc.
- Resource Type
- journal article
- Date
- 2005
- Description
- This paper describes extensions to a Behavioural Description Language (BDL), which was originally proposed to characterize concurrent behaviour of simple objects and a group of objects. One of the novelties of this paper is its application to the field of E-Commerce transaction systems. Based on the BDL, we propose new concepts, namely, transaction patterns and transaction architectures, which have event-based semantics to describe large-scale transaction systems. Furthermore, the transaction architecture is introduced as a unified medium. for specifying and verifying distributed, heterogeneous and complex E-Commerce transaction processes. It is also illustrated as a powerful modeling technique which is easy-to-use, flexible and promotes reusability.
- Subject
- E-commerce; transactions; Behavioural Description Language; models
- Identifier
- uon:627
- Identifier
- http://hdl.handle.net/1959.13/24566
- Identifier
- ISSN:1443-458X
- Language
- eng
- Reviewed
- Hits: 3839
- Visitors: 3787
- Downloads: 0